Coherence for Skew-Monoidal Categories
نویسنده
چکیده
We motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be formulated differently than in the well-known monoidal case. In my (to my knowledge new) version it becomes a statement of uniqueness of normalizing rewrites. We present a proof of this coherence proof and also formalize it fully in the dependently typed programming language Agda.
منابع مشابه
Skew Monoidales, Skew Warpings and Quantum Categories
Kornel Szlachányi [28] recently used the term skew-monoidal category for a particular laxi ed version of monoidal category. He showed that bialgebroids H with base ring R could be characterized in terms of skew-monoidal structures on the category of one-sided R-modules for which the lax unit was R itself. We de ne skew monoidales (or skew pseudo-monoids) in any monoidal bicategory M . These are...
متن کاملSKEW - MONOIDAL REFLECTION AND LIFTING THEOREMS In memory of Brian Day STEPHEN LACK AND ROSS STREET
This paper extends the Day Re ection Theorem to skew monoidal categories. We also provide conditions under which a skew monoidal structure can be lifted to the category of Eilenberg-Moore algebras for a comonad.
متن کاملA Skew-Duoidal Eckmann-Hilton Argument and Quantum Categories
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories were originally defined as monoidal comonads on endomorphism objects in a particular monoidal bicategory M. Then they were shown also to be skew monoidal struct...
متن کاملLax Operad Actions and Coherence for Monoidal N -categories, A∞ Rings and Modules
We establish a general coherence theorem for lax operad actions on an n-category which implies that an n-category with such an action is lax equivalent to one with a strict action. This includes familiar coherence results (e.g. for symmetric monoidal categories) and many new ones. In particular, any braided monoidal n-category is lax equivalent to a strict braided monoidal n-category. We also o...
متن کاملCoherence for monoidal endofunctors
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorphism. These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. In the later parts of the p...
متن کامل